Nuprl Definition : spread3
9,38
postcript
pdf
let
x
,
y
,
z
=
a
in
t
(
x
;
y
;
z
) == let
x
,
zz
=
a
in let
y
,
z
=
zz
in
t
(
x
;
y
;
z
)
latex
Definitions
let
x
,
y
=
A
in
B
(
x
;
y
)
FDL editor aliases
spread3
origin